partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem (Verlag GmbH)
90
Structured Review
Verlag GmbH
partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem
Partial Order Methods For The Verification Of Concurrent Systems: An Approach To The State Explosion Problem, supplied by Verlag GmbH, used in various techniques. Bioz Stars score: 90/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
https://www.bioz.com/product/partial-order+methods+for+the+verification+of+concurrent+systems%3A+an+approach+to+the+state-explosion+problem/partial+order+methods+for+the+verification+of+concurrent+systems++an+approach+to+the+state+explosion+problem/us07650595-365-18-20
Average 90 stars, based on 1 article reviews
Partial Order Methods For The Verification Of Concurrent Systems: An Approach To The State Explosion Problem, supplied by Verlag GmbH, used in various techniques. Bioz Stars score: 90/100, based on 1 PubMed citations. ZERO BIAS - scores, article reviews, protocol conditions and more
https://www.bioz.com/product/partial-order+methods+for+the+verification+of+concurrent+systems%3A+an+approach+to+the+state-explosion+problem/partial+order+methods+for+the+verification+of+concurrent+systems++an+approach+to+the+state+explosion+problem/us07650595-365-18-20
Average 90 stars, based on 1 article reviews
partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem - by Bioz Stars,
2026-09
90/100 stars